Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
461	KYOTO: A System for Mining, Structuring, and Distributing Knowledge Across Languages and Cultures Piek Vossen1, 2, Eneko Agirre 3 , Nicoletta Calzolari 4 , Christiane Fellbaum5, 6, Shu-kai Hsieh7 , Chu-Ren Huang 8 , Hito Add to Reading List Source URL: www.tagmatica.fr Language: English - Date: 2008-06-04 02:48:04 Information Knowledge Information science Technical communication Semantic Web Piek Vossen WordNet Upper ontology Formal ontology Knowledge representation Science Ontology
462	BIOGRAPHY KATY WOLSTENCROFT FROM THE UNIVERSITY OF LEIDEN DISCUSSES HOW THE WEBBASED SEEK PLATFORM IS ENABLING SCIENTISTS GREATER ACCESS TO AND MORE INTELLIGENT USE OF THE VAST REPOSITORIES OF BIOLOGICAL DATA BEING AMASS Add to Reading List Source URL: project.isbe.eu Language: English - Date: 2014-11-13 10:46:54 Formal sciences Applied mathematics Knowledge Geographic information system Metadata Workflow technology Data model Framework Programmes for Research and Technological Development Bioinformatics Science Data management Knowledge representation
463	From: Proceedings of the Second International Conference on Multiagent Systems. Copyright © 1996, AAAI (www.aaai.org). All rights reserved. The Locality of Information Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-11 11:30:03 Agent-based model Complex systems theory Scientific modeling Multi-agent system Entropy Control theory Knowledge Applied mathematics Science Cybernetics Formal sciences
464	International Journal of Business Intelligence and Data Mining (IJBIDM) Special Issue on Intelligent, Distributed and Parallel Computing and Data Management Only the authors who presented papers at AINA-2009 Internationa Add to Reading List Source URL: www.inf.brad.ac.uk Language: English - Date: 2009-08-27 05:14:59 Institute of Electrical and Electronics Engineers Business intelligence Multi-agent system Data management Statistics Science Formal sciences Data analysis Data mining
465	Microsoft Word - Revised Figure.doc Add to Reading List Source URL: www.econ.brown.edu Language: English - Date: 2010-05-26 22:25:58 Biology Catecholamines Dopamine Motivation Neurotransmitters Axiomatic system Neuroeconomics Expected utility hypothesis Utility Formal systems Mind Knowledge
466	The Inscape Environment Dewayne E. Perry AT&T Bell Laboratories Murray Hill, NJ[removed]2529 Add to Reading List Source URL: users.ece.utexas.edu Language: English - Date: 2001-02-14 09:30:12 Data types Type theory Mathematical logic Predicate Predicate logic Propositional calculus Postcondition Formal methods Type system Computing Logic Software engineering
467	European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA Add to Reading List Source URL: symbolaris.com Language: English - Date: 2013-11-27 20:01:46 European Rail Traffic Management System Rail transport European Train Control System Control theory High-speed rail Automatic Train Protection Train protection systems Land transport Transport
468	Technical Correspondence Consistency, Standards, and Formal Approaches to Interface Development and Evaluation: A Note on Wiecha, Bennett, Boies, Gould, and Greene Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2003-10-28 10:34:28 Graphical user interfaces Human–computer interaction Technical communication Usability Context menu GUI widget Mouse button User interface System software Software Humanâ€“computer interaction
469	IBM Software Thought Leadership White Paper Gain vital insight from your data IBM zEnterprise: An innovative approach to delivering business-critical analytics Add to Reading List Source URL: public.dhe.ibm.com Language: English - Date: 2014-01-03 03:41:08 Computing Formal sciences Data warehousing Cross-platform software IBM DB2 Business analytics IBM System z Analytics Z/OS Data management Business intelligence Technology
470	Formal SDI development: The specification clash between nodes and network Rolf de By & Javier Morales Add to Reading List Source URL: www.ec-gis.org Language: English - Date: 2008-06-30 12:28:58 Management Diagrams Workflow technology Standards organizations Science Business Process Model and Notation Open Geospatial Consortium Business Process Execution Language Geographic information system Process management Unified Modeling Language Systems engineering

UPDATE